package 泛型;


import org.junit.Test;

import java.util.*;

/*
    如果B是A的一个子类型(子类或者子接口),而G是具有泛型声明的类或接口,G<B>并不是G<A>的子类型,二者共同的父类是:G<?>
        比如:String是Object的子类,但是List<String>并不是List<Object>的子类

    通配符的使用
        1、使用类型通配符:?
        比如：List<?>、Map<?,?>
        List<?>是List<String>、List<Object>等各种泛型List的父类。
        2、读取List<?>的对象list中的元素时,永远是安全的,因为不管list的真实类型是什么,它包含的都是Object
        3、写入list中的元素时,不行,因为不知道c的元素类型,不能向其中添加对象
             唯一的例外是null,它是所有类型的成员
        4、将任意元素加入到其中不是类型安全的：
         Collection<?> c = new ArrayList<String>();
         c.add(new Object()); // 编译时错误
        因为不知道c的元素类型,不能向其中添加对象,add方法有类型参数E作为集合的元素类型,传给add的任何参数都必须是一个未知类型的子类,
        因为不知道那是什么类型,所以无法传任何东西进去,唯一的例外的是null,它是所有类型的成员
        另一方面,可以调用get()方法并使用其返回值,返回值是一个未知的类型,但它总是一个Object
        传给add的任何参数都必须是一个未知类型的子类!!!

    有限制的通配符
         <?> 允许所有泛型的引用调用
        通配符指定上限 上限extends:使用时指定的类型必须是继承某个类,或者实现某个接口,即<=
        通配符指定下限 下限super:使用时指定的类型不能小于操作的类,即>=
        举例:
             <? extends Number>   (无穷小, Number]
                只允许泛型为Number及Number子类的引用调用
             <? super Number>     [Number,无穷大)
                只允许泛型为Number及Number父类的引用调用
             <? extends Comparable>
                只允许泛型为实现Comparable接口的实现类的引用调用
 */

public class Test04 {

    @Test
    public void test1(){
        List<Object> list1 = null;
        List<String> list2 = null;

        List<?> list = null;
        list = list1;
        list = list2;

        //可以正常调用
//        print(list1);
//        print(list2);

        List<String> list3 = new ArrayList<>();
        list3.add("AA");
        list3.add("BB");
        list3.add("CC");
        list = list3;

        //添加:对于List<?>就不能向其内部添加数据
        //list.add("DD");

        //例外:可以添加null
        list.add(null);

        //读取:允许读取数据,读取的数据类型为Object
        Object o = list.get(0);
        System.out.println(o);
    }

    public void print(List<?> list){
        Iterator<?> iterator = list.iterator();
        while (iterator.hasNext()){
            Object next = iterator.next();
            System.out.println(next);
        }
    }

    //有限制条件的通配符的使用
    @Test
    public void test2(){
        List<? extends Person> list1 = new ArrayList<>();
        List<? super Person> list2 = new ArrayList<>();

        List<Student> list3 = null;
        List<Person> list4 = null;
        List<Object> list5 = null;

        list1 = list3;
        list1 = list4;
        //list1 = list5; 报错

        //list2 = list3; 报错
        list2 = list4;
        list2 = list5;
    }
}
